大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 M. F. (Marie-France) 的图书(共847本)

Networking - ICN 2005 [electronic resource] : 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part II

0
索取号：
作者：Lorenz、 Pascal.、Dini、 Petre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Networking - ICN 2005 [electronic resource] : 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part I

0
索取号：
作者：Lorenz、 Pascal.、Dini、 Petre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Logical Aspects of Computational Linguistics [electronic resource] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings

0
索取号：
作者：Blache、 Philippe.、Stabler、 Edward.、Busquets、 Joan.、Moot、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Business Process Management [electronic resource] : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005. Proceedings

0
索取号：
作者：Aalst、 Wil M. P.、Benatallah、 Boualem.、Casati、 Fabio.、Curbera、 Francisco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

0
索取号：
作者：Bravetti、 Mario.、Kloul、 Le茂la.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Modeling and Using Context [electronic resource] : 5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings

0
索取号：
作者：Dey、 Anind.、Kokinov、 Boicho.、Leake、 David.、Turner、 Roy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Engineering Societies in the Agents World V [electronic resource] : 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers

0
索取号：
作者：Gleizes、 Marie-Pierre.、Omicini、 Andrea.、Zambonelli、 Franco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Conceptual Structures: Common Semantics for Sharing Knowledge [electronic resource] : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings

0
索取号：
作者：Dau、 Frithjof.、Mugnier、 Marie-Laure.、Stumme、 Gerd.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Fast Software Encryption [electronic resource] : 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers

0
索取号：
作者：Gilbert、 Henri.、Handschuh、 Helena.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Principles of Distributed Systems [electronic resource] : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

0
索取号：
作者：Higashino、 Teruo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Unconventional Programming Paradigms [electronic resource] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Ban芒tre、 Jean-Pierre.、Fradet、 Pascal.、Giavitto、 Jean-Louis.、Michel、 Olivier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Graph-Theoretic Concepts in Computer Science [electronic resource] : 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers

0
索取号：
作者：Kratsch、 Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

0
索取号：
作者：Filli芒tre、 Jean-Christophe.、Paulin-Mohring、 Christine.、Werner、 Benjamin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

0
索取号：
作者：Cousot、 Radhia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

0
索取号：
作者：Barthe、 Gilles.、Burdy、 Lilian.、Huisman、 Marieke.、Lanet、 Jean-Louis.、Muntean、 Traian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Inborn Metabolic Diseases [electronic resource] : Diagnosis and Treatment

0
索取号：
作者：Fernandes、 John.、Saudubray、 Jean-Marie.、Berghe、 Georges.、Walter、 John H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.